Collection and Generics in Java Theory